Issue5365.agda:7,3-3
Issue5365.agda:7,3: Incomplete binding x ←
<EOF><ERROR>
...
